<?php 
	function display_users(){
		session_start();
		$search = "SELECT DISTINCT(username) FROM Users;";
		$result = mysql_query($search);
		echo"<div class='e' id='e'>";
		while($row = mysql_fetch_array($result, MYSQL_ASSOC)){
			if($row['username']!=$_SESSION['username']){
				echo 
				"<div class='e' id='smalle'>
				<a href='edit_user.php?link=".$row['username']."'>" .$row['username']."</a>
				</div>";
				echo 
				"<div class='e' id='smalle'>
				<a href='manage_users/delete_user.php?link=".$row['username']."'>delete</a><br>
				</div>
				";
			}
		}
		echo "</div>";
	}
;?>